package com.shigi.sat;

/**
 * Created by Miroslav Šiagi on 27/01/15.
 */
public class Configuration {
    // folders paths
    protected static final String INST_FOLDER_PATH = "./data/sat/instances/";
    protected static final String SOL_FOLDER_PATH = "./data/sat/solutions/";
    protected static final String STATS_FOLDER_PATH = "./data/sat/statistics/";

    // sat configs -  3sat
    public static final int NUM_OF_LITERALS = 3;

    // instance file
    protected static final int MAIN_CHAR_POSITION = 0;
    protected static final char LINE_COMMENT_CHAR = 'c';
    protected static final char LINE_CONFIGURATION_CHAR = 'p';
    protected static final char LINE_WEIGHTS_CHAR = 'w';
    protected static final int NUM_OF_VARIABLES_POSITION = 2;
    protected static final int NUM_OF_CLAUSES_POSITION = 3;
}
